Algorithms for Generating Ordered Solutions for Explicit AND/OR Structures
نویسندگان
چکیده
منابع مشابه
Algorithms for Generating Ordered Solutions for Explicit AND/OR Structures : Extended Abstract
We present algorithms for generating alternative solutions for explicit acyclic AND/OR structures in non-decreasing order of cost. Our algorithms use a best first search technique and report the solutions using an implicit representation ordered by cost. Experiments on randomly constructed AND/OR DAGs and problem domains including matrix chain multiplication, finding the secondary structure of ...
متن کاملExplicit exact solutions for variable coefficient Broer-Kaup equations
Based on symbolic manipulation program Maple and using Riccati equation mapping method several explicit exact solutions including kink, soliton-like, periodic and rational solutions are obtained for (2+1)-dimensional variable coefficient Broer-Kaup system in quite a straightforward manner. The known solutions of Riccati equation are used to construct new solutions for variable coefficient Broer...
متن کاملInstance generating algorithms for MAX2SAT with optimal solutions
Abstract: Instance generating algorithms for MAX2SAT are proposed. The algorithms produce instances with their optimal solutions. We propose two types of algorithms: a constructive one and a randomized one. In the former, nontrivial 2-CNF instances are produced using expander graphs explicitly constructed. On the other hand, in the latter, more complicated instances are produced although it is ...
متن کاملDesign of Logic Network for Generating Sequency Ordered Hadamard Matrix H
A logic network to produce the sequency ordered Hadamard matrix H based on the property of gray code and orthogonal group codes is developed. The network uses a counter to generate Rademacher function such that the output of H will be in sequency. A general purpose shift register with output logic is used to establish a sequence of period P corresponding to a given value of order m of the Hadam...
متن کاملinvestigating the feasibility of a proposed model for geometric design of deployable arch structures
deployable scissor type structures are composed of the so-called scissor-like elements (sles), which are connected to each other at an intermediate point through a pivotal connection and allow them to be folded into a compact bundle for storage or transport. several sles are connected to each other in order to form units with regular polygonal plan views. the sides and radii of the polygons are...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Artificial Intelligence Research
سال: 2012
ISSN: 1076-9757
DOI: 10.1613/jair.3576